-
1 аксиомы порядка
Makarov: axioms of order -
2 аксиомы порядка
-
3 аксиома
ж.- аксиома выбора
- аксиома дополнительности
- аксиома Евклида
- аксиома конгруэнтности
- аксиома линейности
- аксиома локальности
- аксиома материальной объективности
- аксиома наложения
- аксиома независимости материала от системы отсчёта
- аксиома непрерывности
- аксиома параллельности Евклида
- аксиома полноты
- аксиома причинности
- аксиома произвольного выбора
- аксиома равновесия
- аксиома релятивистской инвариантности
- аксиома спектральности
- аксиома существования
- аксиома счётности
- аксиомы движения
- аксиомы порядка
- аксиомы сочетания
- аксиомы термодинамики Каратеодори
- аксиомы Хаага - Араки
- групповая аксиома
- фундаментальная аксиома
См. также в других словарях:
ПЕАНО АКСИОМЫ — система из пяти аксиом для натурального ряда Nи функции S(прибавление 1) на нем, введенная Дж. Пеано (G. Реапо, 1889): для любого свойства M (аксиома индукции). В первом варианте вместо 0 использовалась 1. Сходные аксиомы независимо предложил Р.… … Математическая энциклопедия
Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… … Википедия
Аксиоматика вещественных чисел — система аксиом, один из способов определения вещественных (действительных) чисел. Далее символ обозначает логическое «и». Содержание 1 Аксиомы сложения … Википедия
Аксиоматика Гильберта — Аксиоматика Гильберта система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы … Википедия
НЕЕВКЛИДОВА ГЕОМЕТРИЯ — геометрия, сходная с геометрией Евклида в том, что в ней определено движение фигур, но отличающаяся от евклидовой геометрии тем, что один из пяти ее постулатов (второй или пятый) заменен его отрицанием. Отрицание одного из евклидовых постулатов… … Энциклопедия Кольера
Евклидова геометрия — геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на… … Большая советская энциклопедия
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел. Термин впервые предложил Эмиль Артин в 1927 г.… … Википедия
ПРОЕКТИВНАЯ ПЛОСКОСТЬ — двумерное проективное пространство, инцидентностная структура , где элементы множества наз. точкам и, элементы множества прямыми, а I отношение инцидентности. Инцидентностная структура удовлетворяет следующим аксиомам: 1) для любых двух различных … Математическая энциклопедия
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера